<div id="divDisplay">
<div id="display">
<table id="tabDisplay">
	<tr>
		<td><img
			id="imgDisplay"
			src="./images/menu/display/blank.gif"
			alt="" /></td>
	</tr>
</table>
</div>
</div>
<div id="menu">
<div id="panel">
<table id="btnPanel">
	<tr>
		<td><a
			class="btnPanel"
			href="index.jsp"
			onmouseout="javascript:changeImage('idHome','./images/menu/boutons/home.gif','./images/menu/display/blank.gif')"
			onmouseover="javascript:changeImage('idHome','./images/menu/boutons/over/home.gif','./images/menu/display/home.gif')"><img
			id="idHome"
			src="./images/menu/boutons/home.gif"
			alt="Home" /></a></td>
		<td><a
			class="btnPanel"
			href="satnews.jsp"
			onmouseout="javascript:changeImage('idAllLinks','./images/menu/boutons/all_links.gif','./images/menu/display/blank.gif')"
			onmouseover="javascript:changeImage('idAllLinks','./images/menu/boutons/over/all_links.gif','./images/menu/display/all_links.gif')"><img
			id="idAllLinks"
			src="./images/menu/boutons/all_links.gif"
			alt="All links" /></a></td>
		<td><a
			class="btnPanel"
			href="keywords.jsp"
			onmouseout="javascript:changeImage('idKeywords','./images/menu/boutons/keywords.gif','./images/menu/display/blank.gif')"
			onmouseover="javascript:changeImage('idKeywords','./images/menu/boutons/over/keywords.gif','./images/menu/display/keywords.gif')"><img
			id="idKeywords"
			src="./images/menu/boutons/keywords.gif"
			alt="Keywords" /></a></td>
	</tr>
	<tr>
		<td><a
			class="btnPanel"
			href="byType.jsp?refType=Benchmark"
			onmouseout="javascript:changeImage('idBench','./images/menu/boutons/bench.gif','./images/menu/display/blank.gif')"
			onmouseover="javascript:changeImage('idBench','./images/menu/boutons/over/bench.gif','./images/menu/display/bench.gif')"><img
			id="idBench"
			src="./images/menu/boutons/bench.gif"
			alt="Bench" /></a></td>
		<td><a
			class="btnPanel"
			href="byType.jsp?refType=Software"
			onmouseout="javascript:changeImage('idSoftware','./images/menu/boutons/software.gif','./images/menu/display/blank.gif')"
			onmouseover="javascript:changeImage('idSoftware','./images/menu/boutons/over/software.gif','./images/menu/display/software.gif')"><img
			id="idSoftware"
			src="./images/menu/boutons/software.gif"
			alt="Software" /></a></td>
		<td><a
			class="btnPanel"
			href="byType.jsp?refType=Event"
			onmouseout="javascript:changeImage('idEvents','./images/menu/boutons/events.gif','./images/menu/display/blank.gif')"
			onmouseover="javascript:changeImage('idEvents','./images/menu/boutons/over/events.gif','./images/menu/display/events.gif')"><img
			id="idEvents"
			src="./images/menu/boutons/events.gif"
			alt="Events" /></a></td>
	</tr>
	<tr>
		<td><a
			class="btnPanel"
			href="about.jsp"
			onmouseout="javascript:changeImage('idAbout','./images/menu/boutons/about.gif','./images/menu/display/blank.gif')"
			onmouseover="javascript:changeImage('idAbout','./images/menu/boutons/over/about.gif','./images/menu/display/about.gif')"><img
			id="idAbout"
			src="./images/menu/boutons/about.gif"
			alt="About" /></a></td>
		<td><a
			class="btnPanel"
			href="subscribe.jsp"
			onmouseout="javascript:changeImage('idSubscribe','./images/menu/boutons/subscribe.gif','./images/menu/display/blank.gif')"
			onmouseover="javascript:changeImage('idSubscribe','./images/menu/boutons/over/subscribe.gif','./images/menu/display/subscribe.gif')"><img
			id="idSubscribe"
			src="./images/menu/boutons/subscribe.gif"
			alt="Subscribe" /></a></td>
        <td><a
			class="btnPanel"
			href="people.jsp"
			onmouseout="javascript:changeImage('idPeople','./images/menu/boutons/people.gif','./images/menu/display/blank.gif')"
			onmouseover="javascript:changeImage('idPeople','./images/menu/boutons/over/people.gif','./images/menu/display/people.gif')"><img
			id="idPeople"
			src="./images/menu/boutons/people.gif"
			alt="People" /></a></td>
	</tr>
</table>
</div>
</div>
<div>
<table>
	<tr>
		<td colspan="3"><img
			src="./images/panel2_top.gif"
			alt="" /></td>
	</tr>
	<tr>
		<td class="panel2_left"></td>
		<td class="interieurPanel2">
		<p class="important">Heads up on SAT research</p>
		<div class="liens">
		<p><a href="http://jsat.ewi.tudelft.nl/">JSAT: the Journal on Satisfiability, Boolean
		Modeling and Computation</a></p>
		<p><a href="http://www.satisfiability.org/">The SAT conferences</a></p>
		<p><a href="http://www.satcompetition.org/">The SAT solver competitions</a></p>
		<p><a href="http://www.satcompetition.org/gorydetails/">SAT Gory details</a></p>
		</div>
		</td>
		<td class="panel2_right"></td>
	</tr>
	<tr>
		<td colspan="3"><img
			src="./images/panel2_bottom.gif"
			alt="" /></td>
	</tr>
</table>
</div>


